1. Functional dependencies however should not be confused with tuple-generating dependencies.2. Recall that transitive functional dependencies of non-prime attributes on candidate keys. 3. Type families are regarded as being generally easier to type-check than functional dependencies . 4. This case represents an example where multiple functional dependencies are embedded in a single representation of data. 5. For example, if that functional dependency occurs as a result of the transitive functional dependencies VIN ? 6. For example, if that functional dependency occurs as a result of the transitive functional dependencies VIN ? 7. It is in fact the base-point x _ 0 from which jets derive their functional dependency . 8. Simon Peyton-Jones has objected to the introduction of functional dependencies in Haskell on grounds of complexity. 9. We denote by F ^ { + } the set of all functional dependencies that are logically implied by F. 10. The main advantages of functional dependencies over type families are in their added flexibility in handling a few unusual cases.